.html-console, .html-console-input-text {
    font-family: monospace;
    color: #263;
    font-size: 10pt;
}

.html-console {
    /*background-color: #111;*/
    padding: 3pt;
    width: 100%;
    /*height: 100%;*/

    /*z-index:    -1000;*/

    /*border: 1px solid #ccc;*/
    /*box-shadow: inset 0 1px 3px #ddd;*/
    /*border-radius: 4px;*/
}

.html-console.fixed {
    position: fixed;
    left: 5pt;
    bottom: 5pt;
}

.html-console-marker {
    position: absolute;
}

.html-console-log {
    max-height: 100pt;
}

.html-console-input-text {
    border: 0;
    background-color: transparent;
    width: 50%;
    padding-left: 10pt;
}


.html-console .log-entry {
    white-space: pre;
    /*height: auto;*/
    /*overflow: auto;*/
    /*font-family: monospace;*/
    /*max-height: 36pt;*/
    /*overflow-y: auto;*/
    /*overflow-x: hidden;*/
}

.html-console .log-entry.error {
    color: indianred;
}
